Merge pull request #1899 from jts-arm/docs
authorDimitris Papastamos <[email protected]>
Wed, 20 Mar 2019 12:36:17 +0000 (12:36 +0000)
committerGitHub <[email protected]>
Wed, 20 Mar 2019 12:36:17 +0000 (12:36 +0000)
Add USE_ROMLIB build option to user guide

1  2 
docs/user-guide.rst

Simple merge